void usage_exit(void) {}